<?php require_once 'links.inc' ?>
<?php require_once 'html_template.php' ?>
<?php

$title = "INDEX";
$body = "";
$link_names = array("kopfrechner");
$body .= get_links($link_names);

echo str_replace(array("{title}", "{body}"), array($title, $body), $html_template);